참(True)과 거짓(False)을 판별할 수 있는 논리적 명제를 수학적 표현의 논리전개 식으로 구현한 것은 1854년 영국의 수학자

부울(G.Boole)에 의해서다.

논리 회로의 형태와 구조를 기술하는데 필요한 수학적인 이론

부울 대수를 사용하면 변수들의 진리 표 관계를 대수식으로 표현하기에 용이하다.

동일한 성능을 갖는 더 간단한 회로를 만들기에 편하다.

교환법칙(Commutative Law)

결합법칙(Associative Law)

분배법칙(Distributive Law)

드모르 간 정리(De Morgan’s Theorem)

이와 같이 부울 대수를 사용하면, 간단하게 식을 정리할 수 있다.(수학적 수식과 다름!!!)

논리 표현식은 부울 대수를 이용해 간단히 만들 수 있으나, 여러가지 규칙이 있다.

맵(map) 방법은 부울 함수를 곧바로 간소화 할 수 있으므로, 널리 활용된다.

- 만약 변수가 n개 라면 카노 맵은 2^n개의 민텀(minterm)으로 구성

- 각 인접 민텀은 하나의 변수만이 변경되어야 한다.

- 출력이 1인 기본 곱에 해당하는 민텀은 1로, 나머지는 0으로 표시

2. 인접한 민텀끼리 묶기